Sometimes Updates Are Circumscription
نویسنده
چکیده
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects of ac tions. This paper shows that model-based the ory revision is actually expressible as a form of circumscription. This shows that in cer tain applications, the cumbersome conceptu ally machinery of circumscription can be re placed by the intuitively simpler ideas of model-based theory revision. Where theory revision techniques are insufficient to capture the se mantics of change in an application, circum scription will offer a more flexible environment. In addition, future advances in computing cir cumscription can be mapped to improvements in computing theory revisions, and vice versa.
منابع مشابه
Nested Abnormality Theories
We propose a new approach to the use of circumscription for representing knowledge. Nested abnormality theories are similar to simple abnormality theories introduced by McCarthy, except that their axioms may have a nested structure , with each level corresponding to another application of the circumscription operator. The new style of applying circumscription sometimes leads to more economical ...
متن کاملConstructive Circumscription
Circumscription is one of the most powerful nonmonotonic reasoning formalisms. Its classical modeltheoretic semantics serves as an effective mechanism to ensure minimality in commonsense reasoning. However, as the lack of proof-theoretic feature, it is incapable of expressing derivation order that sometimes plays a crucial role in various reasoning tasks. On the other hand, the general theory o...
متن کاملResults on Translating Defaults to Circumscription
In this paper we define different concepts, of translating a set of defaults into circumscription The most important of these-modular translation requires that the additive changes of specific facts (not defaults) of default theory translate to the additive changes of the simple abnormality theory (corresponding to circumscription). We show that, surprisingly enough, the important class of defa...
متن کاملAutocircumscription
Reasoning can be used to select among various possible interpretations of events. But how are these possibilities determined? We isolate two key technical features of circumscription (consistency and minimization), and use the first as the basis for a reformulation of the circumscription principle in a way related to possibility, self knowledge, and negative introspection. The second (minimizat...
متن کاملCapturing Parallel Circumscription with Disjunctive Logic Programs
The stable model semantics of disjunctive logic programs is based on classical models which are minimal with respect to subset inclusion. As a consequence, every atom appearing in a disjunctive program is false by default. This is sometimes undesirable from the knowledge representation point of view and a more refined control of minimization is called for. Such features are already present in L...
متن کامل